Thực đơn
Ổn_định_Lyapunov Ví dụHãy xem xét một phương trình, trong đó so sánh với phương trình dao động Van der Pol, yếu tố ma sát thay đổi theo:
y ¨ + y − ε ( y ˙ 3 3 − y ˙ ) = 0. {\displaystyle {\ddot {y}}+y-\varepsilon \left({\frac {{\dot {y}}^{3}}{3}}-{\dot {y}}\right)=0.}Trạng thái cân bằng tại: y ¨ = y = 0. {\displaystyle {\ddot {y}}=y=0.}
Dưới đây là một ví dụ tốt về một nỗ lực không thành công để tìm hàm Lyapunov để chứng minh sự ổn định:
Cho
x 1 = y , x 2 = y ˙ {\displaystyle x_{1}=y,x_{2}={\dot {y}}}do đó hệ thống tương ứng là
x 2 ˙ = − x 1 + ε ( x 2 3 3 − x 2 ) . {\displaystyle {\dot {x_{2}}}=-x_{1}+\varepsilon \left({\frac {{x_{2}}^{3}}{3}}-{x_{2}}\right).}Hãy lựa chọn như là một hàm Lyapunov
V = 1 2 ( x 1 2 + x 2 2 ) {\displaystyle V={\frac {1}{2}}\left(x_{1}^{2}+x_{2}^{2}\right)}mà rõ ràng là xác định dương. Đạo hàm của nó là
V ˙ = x 1 x ˙ 1 + x 2 x ˙ 2 = x 1 x 2 − x 1 x 2 + ε x 2 4 3 − ε x 2 2 = ε x 2 4 3 − ε x 2 2 . {\displaystyle {\dot {V}}=x_{1}{\dot {x}}_{1}+x_{2}{\dot {x}}_{2}=x_{1}x_{2}-x_{1}x_{2}+\varepsilon {\frac {x_{2}^{4}}{3}}-\varepsilon {x_{2}^{2}}=\varepsilon {\frac {x_{2}^{4}}{3}}-\varepsilon {x_{2}^{2}}.}Dường như là nếu tham số ε {\displaystyle \varepsilon } là dương, độ ổn định sẽ là tiệm cận đối với x 2 2 < 3. {\displaystyle x_{2}^{2}<3.} Nhưng điều này là sai, bởi vì V ˙ {\displaystyle {\dot {V}}} không phụ thuộc vào x 1 {\displaystyle x_{1}} , và sẽ là 0 mọi nơi trong trục x 1 {\displaystyle x_{1}} . Hệ thống này là ổn định Lyapunov.
Thực đơn
Ổn_định_Lyapunov Ví dụLiên quan
Tài liệu tham khảo
WikiPedia: Ổn_định_Lyapunov //pubmed.ncbi.nlm.nih.gov/16591048 //www.ncbi.nlm.nih.gov/pmc/articles/PMC299777 //doi.org/10.1007%2FBF02031940 http://planetmath.org/%7B%7B%7Burlname%7D%7D%7D //en.wikipedia.org/wiki/Aleksandr_Lyapunov https://web.archive.org/web/20071018132250/http://...